Countably infinite subset